18.62/20.07	unsat
