18.36/20.37	unsat
