5.04/5.40	unsat
