11.57/11.62	unsat
