5.05/7.65	unsat
