20.53/24.09	unsat
