12.66/13.99	unsat
