5.26/5.40	unsat
