12.84/12.95	unsat
