12.99/13.69	unsat
