12.97/14.99	unsat
