12.66/12.95	unsat
