17.86/20.48	unsat
