18.41/20.36	unsat
