7.48/11.62	unsat
