18.86/18.95	unsat
