7.48/11.05	unsat
