18.25/20.37	unsat
