5.08/7.40	unsat
