12.99/13.91	unsat
