13.99/16.66	unsat
