5.68/7.40	unsat
