20.84/22.71	unsat
