20.84/23.38	unsat
