18.76/21.58	unsat
