18.87/20.22	unsat
