5.26/5.52	unsat
