18.86/20.13	unsat
