14.99/18.54	unsat
