5.25/7.65	unsat
