4.27/5.40	unsat
