11.87/14.57	unsat
