20.84/23.44	unsat
