18.86/20.32	unsat
