18.86/18.98	unsat
