18.86/18.93	unsat
