20.84/23.62	unsat
