5.05/6.40	unsat
