11.87/14.78	unsat
