15.62/18.98	unsat
