13.34/16.99	unsat
