5.54/7.64	unsat
