14.45/18.98	unsat
