18.84/21.08	unsat
