5.47/6.40	unsat
