18.17/21.07	unsat
