18.25/20.41	unsat
