12.84/14.57	unsat
