5.26/6.55	unsat
