14.84/16.45	unsat
