19.53/25.09	unsat
