1173.30/1175.79	unsat
