14.84/15.03	unsat
