18.86/19.32	unsat
