18.29/21.07	unsat
