17.94/20.37	unsat
