18.27/22.07	unsat
