13.36/14.99	unsat
