18.64/21.17	unsat
